Add to favourites

OBRAS COMPLETAS

GODEL, KURT

VAT included

Description
La casi mítica fama de Kurt Gödel entre lógicos, matemáticos y filósofos descansa en tres logros de importancia excepcional: en 1930 probó la suficiencia del cálculo lógico de primer orden/ en 1931 probó que todo sistema formal que contenga un poco de aritmética e s necesariamente incompleto y que es imposible probar su consistencia con sus propios medios/ y en 1938-1939 probó la consistencia r elativa del axioma de elección y la hipótesis del continuo respecto de los demás axiomas de la teoría de conjuntos. Estas Obras comp letas re...[Read more]

Status: Available for online purchase in 4-5 days

Availability
Buy it now and we will send it to you when we have stock. The charge to your account will be made only when the product is shipped.
DetailsALIANZA EDITORIAL
2006
469 Pages
Format: Rústica
ISBN: 9788420647739
Language: CASTELLANO
Translator: MOSTERÍN DE LAS HERAS, JESÚS
Category: Maths

THEMES